<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>HISTORY_SIZE</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--help.c.html#L111'>HISTORY_SIZE</a>      111 src/help.c     } history[HISTORY_SIZE];</span>
<span class='curline'><a href='../S/src--help.c.html#L611'>HISTORY_SIZE</a>      611 src/help.c         history_ptr = (history_ptr + 1) % HISTORY_SIZE;</span>
<span class='curline'><a href='../S/src--help.c.html#L637'>HISTORY_SIZE</a>      637 src/help.c             history_ptr = (history_ptr + 1) % HISTORY_SIZE;</span>
<span class='curline'><a href='../S/src--help.c.html#L656'>HISTORY_SIZE</a>      656 src/help.c             history_ptr = HISTORY_SIZE - 1;</span>
<span class='curline'><a href='../S/src--help.c.html#L762'>HISTORY_SIZE</a>      762 src/help.c                 history_ptr = HISTORY_SIZE - 1;</span>
<span class='curline'><a href='../S/src--help.c.html#L770'>HISTORY_SIZE</a>      770 src/help.c             history_ptr = (history_ptr + 1) % HISTORY_SIZE;</span>
<span class='curline'><a href='../S/src--help.c.html#L1033'>HISTORY_SIZE</a>     1033 src/help.c             history_ptr = (history_ptr + 1) % HISTORY_SIZE;</span>
<span class='curline'><a href='../S/src--help.c.html#L1149'>HISTORY_SIZE</a>     1149 src/help.c         for (history_ptr = HISTORY_SIZE; history_ptr;)</span>
</pre>
</body>
</html>
